namespace SV_TAINTED_PATH_TRAVERSAL {
main.c
#include <stdio.h>
int main(int argc, char** argv) {
	char* name = argv[1];
	FILE* user_config = fopen(name, "r");
	if (user_config == NULL) {
		return 1;
	}
	fclose(user_config);
	return 0;
}







check.h
char* neutralize(char*);
main.c
#include <stdio.h>
#include "check.h"
int main(int argc, char** argv) {
	char* name = argv[1];
	name = neutralize(name);
	FILE* user_config = fopen(name, "r");
	if (user_config == NULL) {
		return 1;
	}
	fclose(user_config);
	return 0;
}

check.kb
neutralize - TSCheckPT 1 : $1: 1
}}